TSTP Solution File: GRA062^1 by SInE---0.4